|Provably Total Functions of Arithmetic with Basic Terms - Evgeny Makarov|
A new characterization of provably recursive functions of first-order arithmetic is described. Its main feature is using only terms consisting of 0, the successor S and variables in the quantifier rules, namely, universal elimination and existential introduction.
|Evgeny Makarov - Favorites (ca481) - Evgeny Makarov|
The album “Favorites” includes the most interesting compositions (the author's view) of the Berlin period, and some new in Brussels. Evgeny Makarov - e-guitar Paul Schwingenschlogl - trumpet (3) Vlad Makarov - cello (9) Russian guitarist and composer living and working the last 15 years in Europe. Evgeny Makarov was born in Smolensk, Russia, in 1970. At the age of 15, he started playing the guitar...
Keywords: free improvisation; jazz; avant-garde